Publications of Christine ROCHANGE
Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (11), pp.3665-3678. ⟨10.1109/TCAD.2023.3258752⟩
Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution
IEEE Transactions on Computers, 2023, 72 (1), pp.183-195. ⟨10.1109/TC.2022.3200000⟩
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Christine Rochange, Thomas Carle
A Framework for Calculating WCET Based on Execution Decision Diagrams
ACM Transactions on Embedded Computing Systems (TECS), 2022, 21 (3), pp.3476879. ⟨10.1145/3476879⟩
Florian Kluge, Christine Rochange, Theo Ungerer
EMSBench: Benchmark and Testbed for Reactive Real-Time Systems
Leibniz Transactions on Embedded Systems, 2017, 4 (2), pp.02:1-02:23. ⟨10.4230/LITES-v004-i002-a002⟩
Christine Rochange, Martin Frieb, Ralf Jahr, Haluk Ozaktas, Andreas Hugl, Hans Regler, Theo Ungerer
A Parallelization Approach for Hard Real-Time Systems and Its Application on Two Industrial Programs
International Journal of Parallel Programming, 2016, 44 (6), pp.1296-1336. ⟨10.1007/s10766-016-0432-7⟩
Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel Zaykov, Lucie Matusova, Zai Jian Jia Li, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, David George, Ian Broster, Eduardo Quinones, Milos Panic, Jaume Abella, Carles Hernandez, Francisco Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore
ACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (3), ⟨10.1145/2910589⟩
Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi
Building Timing Predictable Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS), 2014, 13 (4), pp.38. ⟨10.1145/2560033⟩
A. Dkhil, X.K. Do, P. Dubrulle, S. Louise, Christine Rochange
Self-timed periodic scheduling for a cyclo-static dataflow model
Procedia Computer Science, 2014, 29, pp.1134-1145. ⟨10.1016/j.procs.2014.05.102⟩
Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
RTOS support for execution of parallelized hard real-time tasks on the MERASA multi-core processor
In : Computer Systems Science & Engineering, CRL Publishing, Leicester – UK, Special issue Real-Time Systems, Vol. 26 N. 6, pp. 20-36, November 2011.
Theo Ungerer, Francisco Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Hugues Cassé, Christine Rochange, Eduardo Quinones, Sascha Uhrig, Mike Gerdes, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische, Marco Paolieri, Julian Wolf
MERASA: Multi-Core Execution of Hard Real-Time Applications Supporting Analysability
In : IEEE Micro, IEEE : Institute of Electrical and Electronics Engineers, Special issue European Multicore Processing Projects, Vol. 30 N. 5, pp. 66-75, September 2010.
Jonathan Barre, Christine Rochange, Pascal Sainrat
Architecture dun processeur multiflot orienté temps-réel
In : Technique et Science Informatiques (TSI), Hermès Science, Special issue SympA’08, Vol. 29, N. 2, pp. 157-178, February 2010.
Christine Rochange, Pascal Sainrat
A Context-Parameterized Model for Static Analysis of Execution Times
In : Transactions on High-Performance Embedded Architecture and Compilation, Springer, Vol. 2 N. 3, pp. 109-128, January 2009.
Christine Rochange, Pascal Sainrat
Régulation du flot d’instructions pour des processeurs orientés temps-réel
In : Technique et Science Informatiques, Lavoisier, Cachan, Vol. 24, N. 8, pp. 963-989, 2005.
Thierry Haquin, Christine Rochange, Pascal Sainrat
CBSP: A Predictor of Sequences of Correlated Branches
In : Computing Letters (CoLe), Brill Academic Publishers, Leiden, The Netherlands, Vol. 1 N. 1, pp. 15-29, January 2005.
Thierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat
Optimisation du chargement des instructions
In : Technique et Science Informatiques, Lavoisier, Vol. 22, N. 6, pp. 689-711, 2003.
Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat
Calcul de majorants de pire temps d’exécution : état de l’art
In : Technique et Science Informatique, Lavoisier, Vol. 22, N. 5, pp. 651-677, 2003.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Une approche pour réduire la complexité du flot de contrôle dans les programmes C
In : Technique et science informatiques, Hermès, Vol. 21, N. 7, pp. 1009-1032, 2002.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Using Abstract Interpretation Techniques for Static Pointer Analysis
In : Computer Architecture News, ACM, ISSN 0163-5694, Vol. 27 N. 1, pp. 47-50, March 1999.
Abstract URL : http://www.irit.fr/publis/APARA/March/208.ps.gz
BibTeXChristine Rochange, Ph. T. Hai, Pascal Sainrat, Daniel Litaize
Préchargement de données dans les caches
In : Technique et Science Informatiques, Hermès, Vol. 16, N. 4, pp. 425-456, April 1997.
M3S : un multiprocesseur à mémoire partagée évolutif : étude quantitative
In : Technique et Science Informatiques, Hermès, Vol. 14, N. 5, pp. 601-618, May 1995.
Per Stenström, Pascal Sainrat, Christine Rochange
Conception de la mémoire dans les multiprocesseurs à mémoire partagée
In : Calculateurs Parallèles, Vol. 6, N. 3, pp. 83-136, 1994.
Louison Jeanmougin, Thomas Carle, Pascal Sotin, Christine Rochange
Warp-Level CFG Construction for GPU Kernel WCET Analysis
21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.1:1–1:13, ⟨10.4230/OASIcs.WCET.2023.1⟩
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators
21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.2:1-2:12, ⟨10.4230/OASIcs.WCET.2023.2⟩
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Enabling timing predictability in the presence of store buffers
31st International Conference on Real-Time Networks and Systems (RTNS 2023), Jun 2023, Dortmund, Germany. pp.1-10, ⟨10.1145/3575757.3593653⟩
Michaël Adalbert, Thomas Carle, Christine Rochange
PasTiS: building an NVIDIA Pascal GPU simulator for embedded AI applications
11th European Congress on Embedded Real-Time Systems (ERTS 2022), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE : the French Society for Electricity, Electronics, and Information & Communication Technologies, Jun 2022, Toulouse, France
Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange
Speculative Execution and Timing Predictability in an Open Source RISC-V Core
IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Germany. pp.393-404, ⟨10.1109/RTSS52674.2021.00043⟩
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Déterminer le WCET d’applications temps-réel en présence de latences d’exécution variables
Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS 2021), CC-IN2P3 – Centre de Calcul de l’IN2P3 (USR6402); LIP – Laboratoire de l’Informatique du Parallélisme (UMR5668), Jul 2021, Lyon (en virtuel), France
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Improving the Performance of WCET Analysis in the Presence of Variable Latencies
21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Jun 2020, London, United Kingdom. pp.119-130, ⟨10.1145/3372799.3394371⟩
Wei-Tsun Sun, Hugues Cassé, Christine Rochange, Hamza Rihani, Claire Maiza
Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA
9th European Congress on Embedded real time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne de Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
The W-SEPT Project: Towards Semantic-Aware WCET Estimation
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, Matthieu Roy
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
Workshop CARS 2016 – Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Parallel Real-Time Tasks, as viewed by WCET Analysis and Task Scheduling Approaches
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France
Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, Simon Wegener
TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research
16th International Workshop on Worst-Case Execution Time Analysis, 2016, Toulouse, France. ⟨10.4230/OASIcs.WCET.2016.2⟩
Arthur Pyka, Pavel G. Zaykov, Hugues Cassé, Haluk Ozaktas, Christine Rochange, Sascha Uhrig
Case study: Performance and WCET analysis for parallelised avionic applications with ODC2
IEEE 13th International Conference on Industrial Informatics (INDIN 2015), IEEE Industrial Electronics Society; Anglia Ruskin University, Jul 2015, Cambridge, UK, United Kingdom. pp.1400–1407, ⟨10.1109/INDIN.2015.7281939⟩
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
WCET and Mixed-criticality: How to Quantify the Confidence in WCET Estimations?
Workshop on Worst-Case Execution Time Analysis, Jul 2015, Lund, Sweden. pp.65–74, ⟨10.4230/OASIcs.WCET.2015.65⟩
Hugues Cassé, Haluk Ozaktas, Christine Rochange
A Framework to Quantify the Overestimations of Static WCET Analysis
15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), Jul 2015, Lund, Sweden. pp. 1-10
Amira Dkhil, Xuankhanh Do, Stéphane Louise, Christine Rochange
A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications
23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015), Mar 2015, Turku, Finland. pp.711–715, ⟨10.1109/PDP.2015.109⟩
Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel Zaykov, Lucie Matusova, Zai Jian Jia Li, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, David George, Ian Broster, Eduardo Quinones, Milos Panic, Jaume Abella, Carles Hernandez, Francisco Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
Experiences and Results of Parallelisation of Industrial Hard Real-time Applications for the parMERASA Multi-core
3rd Workshop on High-performance and Real-time Embedded Systems (HiRES 2015) in conjunction with HiPEAC 2015, Luís Miguel Pinho, CISTER, Portugal; Eduardo Quiñones, BSC, Spain; Sascha Uhrig, TU Dortmund, Germany, Jan 2015, Amsterdam, Netherlands
Arthur Pyka, Lillian Tadros, Sascha Uhrig, Hugues Cassé, Haluk Ozaktas, Christine Rochange
WCET Analysis of Parallel Benchmarks using On-Demand Coherent Cache
Workshop on High-performance and Real-time Embedded Systems, Jan 2015, Amsterdam, Unknown Region
Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Ralf Jahr, Mike Gerdes, Theo Ungerer, Haluk Ozaktas, Christine Rochange, Pavel Zaykov
Effects of Structured Parallelism by Parallel Design Patterns on Embedded Hard Real-time Systems
IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014), Aug 2014, Chongqing, China. pp.1–10, ⟨10.1109/RTCSA.2014.6910546⟩
Gabriel Fernandez, Jaume Abella, Eduardo Quinones, Christine Rochange, Tullio Vardanega, Francisco J. Cazorla
Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Jul 2014, Madrid, Spain. pp.31-42
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Amira Dkhil, Xuankhanh Do, Paul Dubrulle, Stéphane Louise, Christine Rochange
Self-Timed Periodic Scheduling For Cyclo-Static DataFlow Model
Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems – ALCHEMY 2014, Jun 2014, Cairns, Australia. pp. 1134-1145
Haluk Ozaktas, Christine Rochange, Pascal Sainrat
Minimizing the Cost of Synchronisations in the WCET of Real-Time Parallel Programs
17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), Jun 2014, Sankt Goar, Germany. pp.98-107, ⟨10.1145/2609248.2609261⟩
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
Monitoring On-line Timing Information to Support Mixed-Critical Workloads (short paper)
In : Real-Time System Symposium (RTSS 2013), Vancouver, 03/12/13-06/12/13, University of Waterloo, (on line), 2013.
URL : http://2013.ieee-rtss.org/wp-content/uploads/2013/11/WiP-proceedings.pdf – https://oatao.univ-toulouse.fr/12756/
BibTeXHajer Herbegue Bouhachem, Hugues Cassé, Mamoun Filali, Christine Rochange
Hardware architecture specification and constraint-based WCET computation (regular paper)
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2013), POrto, Portugal, 19/06/13-21/06/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 259-268, September 2013.
Amira Dkhil, Stéphane Louise, Christine Rochange
Worst-Case Communication Overhead in a Many-Core based Shared-Memory Model (regular paper)
In : Junior Researcher Workshop on Real-Time Computing, Nice, 16/10/13-18/10/13, University of Amsterdam, pp. 53-56, October 2013.
URL : http://jrwrtc.science.uva.nl – https://oatao.univ-toulouse.fr/12711/
BibTeXAmira Dkhil, Stéphane Louise, Christine Rochange
Worst case latency calculation in Data-Flow programs for clusters of the MPPA Manycore chip (short paper)
In : IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013), Taipei (Taiwan), 19/08/13-21/08/13, University of Mälardalen, (electronic medium), August 2013.
Theo Ungerer, Christian Bradatsch, Mike Gerdes, Florian Kluge, Ralf Jahr, Jörg Mische, Joao Fernandes, Zaykov Pavel, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, Ian Broster, David George, Eduardo Quinones, Milos Panic, Francisco Cazorla, Jaume Abella, Sascha Uhrig, Mathias Rohde, Arthur Pyka
parMERASA Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability (regular paper)
In : Euromicro Conference on Digital System Design (DSD 2013), Santander (Spain), 04/09/13-06/09/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 363-370, September 2013.
Haluk Ozaktas, Christine Rochange, Pascal Sainrat
Automatic WCET Analysis of Real-Time Parallel Applications (regular paper)
In : Workshop on Worst-Case Execution Time Analysis, Paris, 09/07/13, OASICs, Dagstuhl Publishing, pp. 11-20, July 2013.
Roman Bourgade, Christine Rochange, Pascal Sainrat
Predictable Two-Level Bus Arbitration for Heterogeneous Task Sets (regular paper)
In : International Conference on Architecture of Computing Systems (ARCS 2012), Prague, 19/02/12-23/02/13, Springer, pp. 341-351, February 2013.
Mike Gerdes, Florian Kluge, Christine Rochange, Theo Ungerer
The Split-Phase Synchronisation Technique: Reducing the Pessimism in the WCET Analysis of Parallelised Hard Real-Time Programs (regular paper)
In : IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), Seoul, Koera, 19/08/12-22/08/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 88-97, August 2012.
Florian Kluge, Benoît Triquet, Christine Rochange, Theo Ungerer
Operating Systems for Manycore Processors from the Perspective of Safety-Critical Systems (regular paper)
In : International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2012), Pisa, Italy, 10/07/12, The George Washington University, pp. 16-20, July 2012.
Mike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange, Pascal Sainrat
Time Analysable Synchronisation Techniques for Parallelised Hard Real-Time Applications (regular paper)
In : Design, Automation and Test in Europe (DATE 2012), Dresden, 12/03/12-16/03/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 671-676, March 2012.
Christine Rochange, Pascal Sainrat
Multicores and Critical Systems: Challenges for Temporal Analysability
In : SAE AeroTech Congress & Exhibition, Toulouse, 18/10/11-21/10/11.
Claire Maïza, Christine Rochange
A framework for the timing analysis of dynamic branch predictors (regular paper)
In : International Conference on Real-Time and Network Systems (RTNS 2011), Nantes, 29/09/11-30/09/11, IRCCyN, pp. 65-74, September 2011.
URL : http://www.irit.fr/publis/TRACES/12716_rtns2011.pdf
BibTeXReinhard Von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder , Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth , Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne De Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch , Christine Rochange, Martin Schoeberl , Simon Wegener , Michael Zolda, Jakob Zwirchmayr
WCET Tool Challenge: Report (regular paper)
In : Workshop on Worst-Case Execution Time Analysis, Porto, 05/07/11, Politécnico do Porto, pp. 104-141, July 2011.
Roman Bourgade, Christine Rochange, Pascal Sainrat
Predictable Bus Arbitration Schemes for Heterogeneous Time-Critical Workloads Running on Multicore Processors (short paper)
In : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-4, September 2011.
Abstract URL : http://www.irit.fr/publis/TRACES/12619_etfa2011.pdf
BibTeXAn overview of approaches towards the timing analysability of parallel architectures (regular paper)
In : Bringing Theory to Practice : workshop at Predictability and Performance in Embedded Systems (PPES 2011), Grenoble, 18/03/11, Philipp Lucas, Lothar Thiele, Benoît Triquet, Theo Ungerer, Reinhard Wilhelm (Eds.), Dagstuhl Research Online Publication Server, pp. 31-40, March 2011.
URL : http://drops.dagstuhl.de/opus/volltexte/2011/3079/pdf/4.pdf
BibTeXClément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
OTAWA: an Open Toolbox for Adaptive WCET Analysis (regular paper)
In : IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen/Ybbs, Austria, 13/10/10-15/10/10, Springer, pp. 35-46, October 2010.
URL : http://www.irit.fr/publis/TRACES/11771_seus2010.pdf
BibTeXChristine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu
WCET Analysis of a Parallel 3G Multigrid Solver Executed on the MERASA Multi-core (regular paper)
In : International Workshop on Worst-Case Execution Time Analysis (WCET 2010), Brussels, 06/07/10, Vol. 268, Björn Lisper (Eds.), Austrian Computer society, pp. 92-102, July 2010.
URL : http://www.irit.fr/publis/TRACES/11647_wcet2010.pdf
BibTeXRoman Bourgade, Christine Rochange, Marianne De Michiel, Pascal Sainrat
MBBA: a Multi-Bandwidth Bus Arbiter for hard real-time (regular paper)
In : International Conference on Embedded and Multimedia Computing (EMC 2010), Cebu, Philippines, 11/08/10-13/08/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, August 2010 (Best paper).
URL : http://www.irit.fr/publis/TRACES/11588_emc2010-bourgade-final.pdf
BibTeXJulian Wolf, Mike Gerdes, Sascha Uhrig, Jörg Mische, Florian Kluge, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-Core Processor (regular paper)
In : International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2010), Carmona, Spain, 05/05/10-06/05/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 193-201, May 2010.
URL : http://www.irit.fr/publis/TRACES/11376_isorc2010.pdf
BibTeXHugues Cassé, Karine Heydemann, Haluk Ozaktas, Jonathan Ponroy, Christine Rochange, Olivier Zendra
A framework to experiment optimizations for real-time and embedded software (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), May 2010.
URL : http://www.irit.fr/publis/TRACES/11355_ERTS2010_0102_final.pdf
BibTeXHaluk Ozaktas, Karine Heydemann, Christine Rochange, Hugues Cassé
Impact of Code Compression on Estimated Worst-Case Execution Times (regular paper)
In : International Conference on Real-Time and Network Systems (RTNS 2009), Paris, 26/09/09-27/10/09, Ecole Centrale d’Electronique (ECE), pp. 55-64, October 2009.
URL : http://www.irit.fr/publis/TRACES/10900_rtns09.pdf
BibTeXNiklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
WCET Tool Challenge 2008: report
In : International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, 01/07/08-01/07/08, Austrian Computer society, pp. 149-171, October 2008.
URL : http://www.irit.fr/publis/TRACES/9687_challenge08.pdf
BibTeXRoman Bourgade, Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
Accurate analysis of memory latencies for WCET estimation (regular paper)
In : International Conference on Real-Time and Network Systems (RTNS 2008), Rennes, 16/10/08-17/10/08, IRISA, pp. 161-170, October 2008.
URL : http://www.irit.fr/publis/TRACES/9445_rtns08final.pdf
BibTeXJonathan Barre, Christine Rochange, Pascal Sainrat
An Architecture for the Simultaneous Execution of Hard Real-Time Threads
In : International Conference on Embedded Computer Systems : Architectures, Modeling, and Simulation (IC-SAMOS 2008), Samos, 21/07/08-24/07/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 18-24, July 2008.
URL : http://www.irit.fr/publis/TRACES/9071_samos2008.pdf
BibTeXTahiry Ratsiambahotra, Hugues Cassé, Christine Rochange, Pascal Sainrat
Génération automatique de simulateurs fonctionnels de processeurs
In : Symposium sur les Architectures Nouvelles de Machines (SympA 2008), Fribourg, 11/02/08-13/02/08, Ecole d’ingénieurs et d’architectes de Fribourg, (electronic medium), February 2008.
URL : http://hal.archives-ouvertes.fr/action/open_file.php?url=http://hal.archives-ouvertes.fr/docs/00/20/23/28/PDF/RaCaRoSa2008.1.pdf&docid=202328
BibTeXJonathan Barre, Christine Rochange, Pascal Sainrat
Une architecture SMT pour le temps-réel strict
In : Symposium sur les Architectures Nouvelles de Machines (SympA 2008), Fribourg, 11/02/08-13/02/08, Ecole d’ingénieurs et d’architectes de Fribourg, (electronic medium), February 2008.
URL : http://www.irit.fr/publis/TRACES/8558_sympa2008.pdf
BibTeXJonathan Barre, Christine Rochange, Pascal Sainrat
A Predictable Simultaneous Multithreading Scheme for Hard Real-Time
In : International Conference on Architecture of Computing Systems (ARCS 2008), Dresden, 25/02/08-28/02/08, Springer, LNCS 4934, pp. 161-172, February 2008 (Best Paper).
URL : http://www.irit.fr/publis/TRACES/ARCS08-final.pdf
BibTeXClaire Burguiere, Christine Rochange
On the Complexity of Modelling Dynamic Branch Predictors when Computing Worst-Case Execution Times
In : ERCIM/DECOS Workshop on Dependable Embedded Systems, Lübeck, Germany, 28/08/07, ERCIM, (on line), September 2007.
Abstract URL : http://www.irit.fr/publis/TRACES/8158_ercim.pdf
BibTeXHugues Cassé, Christine Rochange
OTAWA, Open Tool for Adaptative WCET Analysis
In : Design, Automation and Test in Europe (Poster session ‘University Booth’) (DATE 2007), Nice, 17/04/07-19/04/07, DATE, (electronic medium), April 2007.
Abstract URL : http://www.irit.fr/publis/TRACES/7722_date2007.pdf
BibTeXHugues Cassé, Christine Rochange, Pascal Sainrat
On the sensitivity of WCET estimates to the variability of basic blocks execution times
In : International Conference on Real-Time and Network Systems (RTNS 2007), Nancy, 29/03/07-30/03/07, INPL, pp. 85-92, March 2007.
Abstract URL : http://www.irit.fr/publis/TRACES/7547_rtns07.pdf
BibTeXJonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat
Calcul de temps d’exécution pire cas pour un processeur superscalaire à exécution non ordonnée
In : Symposium sur les Architectures Nouvelles de Machines (SympA 2006), Perpignan, 04/10/06-06/10/06, Université de Perpignan, pp. 1-11, October 2006.
URL : http://www.irit.fr/publis/TRACES/6738_sympa9.pdf
BibTeXClaire Burguiere, Christine Rochange
History-based Schemes and Implicit Path Enumeration
In : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06, Dagstuhl Research Online Publication Server, (on line), July 2006.
Abstract URL : http://www.irit.fr/publis/TRACES/6677_wcet2006.pdf
BibTeXJonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat
Modeling Instruction-Level Parallelism for WCET Evaluation
In : IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), Sidney, 16/08/06-18/08/06, IEEE : Institute of Electrical and Electronics Engineers, pp. 61-67, August 2006.
Abstract URL : http://www.irit.fr/publis/TRACES/6668_rtcsa06.pdf
BibTeXChristine Rochange, Pascal Sainrat
Code padding to improve the WCET calculability
In : International Conference on Real-Time and Network Systems (RTNS 2006), Poitiers, 30/05/06-31/05/06, LISI-ENSMA, pp. 159-168, May 2006.
Abstract URL : http://www.irit.fr/publis/TRACES/rtns06.pdf
BibTeXClaire Burguiere, Christine Rochange, Pascal Sainrat
A Case for Static Branch Prediction in Real-Time Systems
In : 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hong-Kong, 17/08/05-19/08/05, IEEE, pp. 33-38, August 2005.
Abstract URL : http://www.irit.fr/publis/TRACES/5834_rtcsa.pdf
BibTeXClaire Burguiere, Christine Rochange
Modélisation d’un prédicteur de branchement bimodal dans le calcul du WCET par la méthode IPET
In : International Conference on Real-Time Systems (RTS 2005), Paris, 05/04/05-06/04/05, BIRP, pp. 192-210, April 2005.
Abstract URL : http://www.irit.fr/publis/TRACES/5336_rts05.pdf – http://www.irit.fr/publis/TRACES/5336_rts05-slides.pdf
BibTeXChristine Rochange, Pascal Sainrat
A Time-Predictable Execution Mode for Superscalar Pipelines with Instruction Prescheduling
In : ACM International Conference on Computing Frontiers, Ischia, Italy, 04/05/05-06/05/05, ACM : Association for Computing Machinery, pp. 307-314, May 2005.
Abstract URL : http://www.irit.fr/publis/TRACES/5143_CF05.pdf – http://www.irit.fr/publis/TRACES/5143_slidesCF05.pdf
BibTeXClaire Burguiere, Christine Rochange
A contribution to branch prediction modeling in WCET analysis
In : DATE’2005 (Design, Automation and Test in Europe), Munich, 07/03/05-11/03/05, IEEE, pp. 612-617, March 2005.
URL : http://www.irit.fr/publis/TRACES/4919_date05.ps
BibTeXChristine Rochange, Pascal Sainrat
Vers une prédictibilité temporelle des processeurs haute-performance
In : 12th International Conference on Real-Time Systems, Paris, 30/03/04-01/04/04, BIRP, pp. 282-300, March 2004.
Abstract URL : http://www.irit.fr/publis/TRACES/5338_rts04.pdf
BibTeXHugues Cassé, Christine Rochange, Pascal Sainrat
An Open Framework for WCET Analysis
In : IEEE Real-Time Systems Symposium – WIP session, Lisbonne, 05/12/04-07/12/04, IEEE, pp. 13-16, December 2004.
Towards predictable high-performance processors
In : Perspectives Workshop: “Design of Systems with Predictable Behaviour”, Dagstuhl, 17/11/03-19/11/03.
Abstract URL : http://www.dagstuhl.de/03471/Proceedings/
BibTeXChristine Rochange, Pascal Sainrat
Towards Designing WCET-predictable Processors
In : 3rd Workshop on Worst-Case Execution Time Analysis, Porto, 01/07/03, –, pp. 87-90, July 2003.
Abstract URL : http://www.irit.fr/publis/TRACES/3840_wcet2003.pdf
BibTeXChristine Rochange, Pascal Sainrat
Difficulties in Computing the WCET for Processors with Speculative Execution
In : 2nd Intl. Workshop on Worst Case Execution Time Analysis, Vienne, 18/06/02, University of York, pp. 68-71, June 2002.
Abstract URL : http://www.irit.fr/publis/TRACES/3292_wcet2002.pdf
BibTeXPhilippe Reynes, Thierry Haquin, Christine Rochange, Pascal Sainrat
Etude préparatoire à la réutilisation de chaînes
In : 8ème Symposium en Architectures Nouvelles de Machines (SYMPA’8), Hammamet, Tunisie, 10/04/02-12/04/02, Ecole supérieure des sciences et techniques de Tunis, pp. 365-372, April 2002.
Abstract URL : http://www.irit.fr/publis/APARA/March/3115.ps.gz
BibTeXThierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat
Optimisations du chargement des instructions
In : 8ème Symposium en Architectures Nouvelles de Machines (SYMPA’8), Hammamet, Tunisie, 10/04/02-12/04/02, Ecole Supérieure des Sciences et Techniques de Tunis, pp. 257-264, April 2002.
Abstract URL : http://www.irit.fr/publis/APARA/March/3114.pdf.gz
BibTeXWissam Hlayhel, Daniel Litaize, Jacques Collet, Christine Rochange, David Parello
Shared Address Bus in SMP Multiprocessors
In : 9th Workshop on Scalable Shared-Memory Multiprocessors, Vancouver, .
Wissam Hlayhel, Jacques Collet, Christine Rochange, Daniel Litaize
Pushing Away the Communication Bottleneck with Optical Bus-based Symmetric Multiprocessors
In : Optics in Computing, Quebec, Canada, SPIE, Vol. 4089, pp. 510-577, June 2000.
Thierry Haquin, Christine Rochange, Pascal Sainrat
Une extension de la résolution partielle dans les BTBs
In : 6ème Symposium sur les Architectures Nouvelles de Machines (SYMPA’6), Besançon, 19/06/00-22/06/00, Université de Besançon, France, pp. 77-86, June 2000.
Carmen Turinici, Christine Rochange, Pascal Sainrat
Prédicteurs mixtes pour l’anticipation des instructions
In : 5ème Symposium sur les Architectures Nouvelles de Machines (SYMPA’5), Rennes, 08/06/99-11/06/99, INRIA, pp. 165-174, June 1999.
Christine Rochange, Pascal Sainrat, Louis Féraud, Hugues Cassé
Using Abstract Interpretation Technics for Static Pointer Analysis
In : 3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT’3), San Jose, USA, 03/10/99-07/10/99, Pen-Chung Yew, University of Minnesota, October 1999.
Abstract URL : http://www.irit.fr/publis/APARA/March/A_Interact3.ps.gz
BibTeXCarmen Turinici, Christine Rochange, Pascal Sainrat
Instruction Reuse Based on Dependent Instruction Sequences
In : 6th International Symposium on Automatic Control and Computer Engineering (SACCS’98), Iasi, Roumanie, 20/11/98-21/11/98, D. Grigoras, Matrix Rom Publ., Bucharest, pp. 134-139, November 1998.
Christine Rochange, Pascal Sainrat
Evaluation de performances des processeurs superscalaires
In : Colloque Outils et Méthodologies pour l’Architecture des Ordinateurs, Orsay, France, 22/09/98-23/09/98.
H. Pham Tuong, Christine Rochange, Pascal Sainrat, Daniel Litaize
Prédiction de l’adresse des lectures pour tolérer la latence des accès mémoire
In : 9èmes Rencontres du Parallélisme (RenPar9), Lausanne, -, pp. 181-184, May 1997.
Abstract URL : http://www.irit.fr/publis/APARA/March/A_Renpar9.ps.gz
BibTeXH. Pham Tuong, Christine Rochange
Dispositif matériel de préchargement des données dans les caches
In : 8èmes Rencontres du parallélisme, Bordeaux, -, pp. 201, May 1996.
Dominique Carrière, Stephan Jourdan, Daniel Litaize, Christine Rochange, Pascal Sainrat
Le parallélisme de données et d¿instructions dans les multiprocesseurs à mémoire commune
In : Journées sur le parallélisme de l¿IRIT, Toulouse, .
Daniel Litaize, Christophe Guittenit, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Serial Multiported Memory used as a cache disk in I/O subsystems
In : Fourth Workshop on Scalable Shared-Memory Multiprocessors, Chicago, .
M3S : un multiprocesseur évolutif – premiers résultats de simulation
In : 6èmes Rencontres du Parallélisme, Lyon, -, pp. 237-240, January 1994.
Daniel Litaize, Dominique Carrière, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Using Ultra High-Speed Serial Links in Shared-Memory Multiprocessors
In : Open Bus Systems ’94, Paris, VITA, pp. 103-110, January 1994.
Daniel Litaize, Dominique Carrière, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Le module mémoire et la liaison série du multiprocesseur M3S
In : Forum des recherches en informatique, Palaiseau, .
Christine Rochange, Pascal Sainrat
Evaluation du multiprocesseur M3S par analyse de la valeur moyenne
In : Journée des jeunes chercheurs en systèmes à mémoire logiquement partagée, Toulouse, .
Daniel Litaize, Abdelaziz M’zoughi, Pascal Sainrat, Dominique Carrière, Christine Rochange
Projet M3S : multiprocesseur à mémoire multiport série
In : Journées ¿Modèles d¿exécution et architectures parallèles¿ ; PRC-ANM, Rennes, .
Dominique Carrière, Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Update on the M3S project
In : 3rd Workshop on Scalable Shared-Memory Multiprocessors, San Diego, .
Christine Rochange, Pascal Sainrat, Daniel Litaize
Performance of M3S for the SOR algorithm
In : Conference on Parallel ARchitectures and Languages Europe (PARLE), Munich, Springer, pp. 676-679, June 1993.
Christine Rochange, Daniel Litaize
Throughput Analysis of M3S : a serial multiported-memory multiprocessor
In : Supercomputing, Minneapolis, IEEE, November 1992.
Christine Rochange, Daniel Litaize
Experiments about the processor-memory interface in the M3S project
In : 10th International Conference on Applied Informatics, Innsbruck, -, pp. 53-56, February 1992.
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
La liaison série à ultra haut débit : une (la?) solution pour les liaisons inter-modules en environnement multiprocesseur
In : Colloque “Technologies Matérielles Futures pour l’ordinateur”, Paris, .
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Towards a shared-memory massively parallel multiprocessor
In : IEEE International Symposium on Computer Architecture, Gold Coast, Australie, IEEE, pp. 70-79, May 1992.
Dominique Carrière, Daniel Litaize, Christine Rochange, Pascal Sainrat
Design of the memory plane of the M3S project
In : International Workshop on Field-Programmable Logic and Applications, Vienne, University of Kaiserslautern, September 1992.
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
The design of the M3S project : a Multiported Shared Memory Multiprocessor
In : Supercomputing, Minneapolis, IEEE, pp. 326-335, November 1992.
Daniel Litaize, Omar Hammami, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Multiprocesseur massivement parallèle à mémoire multiport série
In : Troisième symposium sur les Architectures Nouvelles de Machines, Palaiseau, .
Daniel Litaize, Omar Hammami, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Project M3S : How serial links are well suited for scalability
In : Second Workshop on Scalable Shared Memory Multiprocessors, Toronto, .
Claire Maïza, Pascal Raymond, Christine Rochange
Estimation de temps d’exécution et délais
Chetto, Maryline. Ordonnancement dans les Systèmes Temps Réel, Chapter 13, ISTE editions, pp.365–391, 2014, 978-1784050399
Claire Maïza, Pascal Raymond, Christine Rochange
Estimation of Execution Time and Delays
Chetto, Maryline. Real‐Time Systems Scheduling 1: Fundamentals, Chapter 5, ISTE – WILEY, pp.193–230, 2014, 978-1848216655. ⟨10.1002/9781118984413.ch5⟩
Christine Rochange, Pascal Sainrat
Architecture des machines
In : Encyclopédie de l’informatique et des systèmes d’information. Jacky Akoka, Isabelle Comyn-Wattiau (Eds.) , Vuibert, pp. 147-159, November 2006.
Daniel Litaize, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
Architecture of Parallel and Distributed Systems
In : Handbook in Information Systems, volume 5: Handbook on Parallel and Distributed Processing. J. Blazewicz, K. Ecker, B. Plateau, D. Trystram (Eds.) , Springer-Verlag, pp. 166-221, International Handbooks on Information Systems, 1999.
Daniel Litaize, Omar Hammami, Abdelaziz M’zoughi, Christine Rochange, Pascal Sainrat
La liaison série à ultra haut débit : une (la?) solution pour les liaisons inter-modules en environnement multiprocesseur
In : Technologies Matérielles Futures pour l’ordinateur. – – (Eds.) , Frontières, Paris, pp. 167-177, 1991.
Prévisibilité des temps d’exécution pire-cas
HDR, Université de Toulouse, November 2011.
Evaluation des performances d’architectures multiprocesseurs à mémoire logiquement partagée
Master’s Thesis, Université Paul Sabatier, December 1993.
Christine Rochange, Sascha Uhrig, Pascal Sainrat
Time-Predictable Architectures, ISTE – WILEY, November 2013.
Hugues Cassé, Jacques Collet, Yves Crouzet, Christine Rochange, Pascal Sainrat
Maîtriser les temps d’exécution
Vulgarisation. November 2007.
Abstract URL : http://www.ups-tlse.fr/servlet/com.univ.collaboratif.utils.LectureFichiergw?CODE_FICHIER=1196687680965&ID_FICHE=5217
BibTeXChristine Rochange, Pascal Sainrat, Daniel Litaize
M3S : A Scalable Multiprocessor
Diffusion scientifique. February 1994. TCCA newsletter, IEEE